#include <stdio.h>

void foo(unsigned flags, unsigned COMMENT) {
	/* Discard file comment if any */
	if ((flags & COMMENT) != 0) {
	    while (getchar() != 0) /* null */ ;
	}
}
